home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / junk / g3.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  4.7 KB  |  113 lines
  1. .geometry "version 0.1";
  2. //otetra.T, 7.12.91, R. De Vogelaere, started December 5, 1991
  3. //.text("Orthogonal tetrahedron", .L0, .L1, .L2, .L3);
  4. .text("Barycenter, orthocenter and circumcenter of orthogonal tetrahedron", .L4);
  5. .text("barycenter and medians", .L1);
  6. .text("orthocenter and altitudes", .L2);
  7. .text("circumcenter and mediatrices", .L3);
  8. v1 = .free(-0.999, 0.999, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .L6, .L7, .L8, .L9);
  9. v2 = .free(-0.999, -0.999, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .L6, .L7, .L8, .L9);
  10. v3 = .free(0.999, -0.999, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .L6, .L7, .L8, .L9);
  11. v4 = .free(0.999, 0.999, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .L6, .L7, .L8, .L9);
  12. l1 = .l.vv(v1, v2, .L0, .L1, .L2, .L3, .L4, .L5, .L6, .L7, .L8, .L9);
  13. l2 = .l.vv(v2, v3, .L0, .L1, .L2, .L3, .L4, .L5, .L6, .L7, .L8, .L9);
  14. l3 = .l.vv(v3, v4, .L0, .L1, .L2, .L3, .L4, .L5, .L6, .L7, .L8, .L9);
  15. l4 = .l.vv(v4, v1, .L0, .L1, .L2, .L3, .L4, .L5, .L6, .L7, .L8, .L9);
  16. v5 = .free(-0.190217, 0.804348, .L0, .L1, .L2, .L3, .L4, .L5, "A0");
  17. v6 = .free(-0.828804, -0.244565, .L0, .L1, .L2, .L3, .L4, .L5, "A1");
  18. v8 = .free(0.703804, -0.722826, .L0, .L1, .L2, .L3, .L4, .L5, "A2");
  19. v9 = .free(0.782609, 0.521739, .L0, .L1, .L2, .L3, .L4, .L5, "A3");
  20. l6 = .l.vv(v5, v6, .L0, .L1, .L2, .L3, .L4, .L5);
  21. l7 = .l.vv(v6, v8, .L0, .L1, .L2, .L3, .L4, .L5);
  22. l8 = .l.vv(v8, v9, .L0, .L1, .L2, .L3, .L4, .L5);
  23. l9 = .l.vv(v9, v5, .L0, .L1, .L2, .L3, .L4, .L5);
  24. l10 = .l.vv(v5, v8, .L0, .L1, .L2, .L3, .L4, .L5);
  25. l18 = .l.vv(v6, v9, .c15, .L0, .L1, .L2, .L3, .L4, .L5);
  26. v10 = .v.vvmid(v5, v6, .cyan, .L1, .plus);
  27. v11 = .v.vvmid(v6, v8, .cyan, .L1, .plus);
  28. v12 = .v.vvmid(v8, v5, .cyan, .L1, .plus);
  29. v13 = .v.vvmid(v5, v9, .blue, .L1, .plus);
  30. v14 = .v.vvmid(v9, v8, .blue, .L1, .plus);
  31. v15 = .v.vvmid(v6, v9, .cyan, .L1, .plus);
  32. l11 = .l.vv(v5, v11, .cyan, .L1);
  33. l12 = .l.vv(v6, v12, .cyan, .L1);
  34. l14 = .l.vv(v8, v10, .cyan, .L1);
  35. l15 = .l.vv(v5, v14, .cyan, .L1);
  36. l16 = .l.vv(v8, v13, .cyan, .L1);
  37. l17 = .l.vv(v9, v12, .invisible, .L1);
  38. l19 = .l.vv(v6, v14, .cyan, .L1);
  39. l21 = .l.vv(v9, v11, .invisible, .L1);
  40. l22 = .l.vv(v5, v15, .c14, .L1);
  41. l23 = .l.vv(v6, v13, .c14, .L1);
  42. l24 = .l.vv(v9, v10, .invisible, .L1);
  43. v7 = .free(0.076087, -0.233696, .c10, .L2, "M~0");
  44. l5 = .l.vv(v6, v7, .c10, .L2);
  45. l13 = .l.vv(v8, v7, .c10, .L2);
  46. l25 = .l.vv(v9, v7, .c10, .L2);
  47. v16 = .v.ll(l5, l8, .green, .L2, .plus);
  48. v18 = .v.ll(l7, l5, .green, .L2, .plus);
  49. v21 = .v.ll(l22, l18, .green, .L2, .plus);
  50. v22 = .v.ll(l25, l7, .green, .L2, .plus);
  51. v23 = .v.ll(l13, l18, .green, .L2, .plus);
  52. l26 = .l.vv(v5, v23, .c10, .L2);
  53. l27 = .l.vv(v5, v22, .green, .L2);
  54. l28 = .l.vv(v5, v16, .green, .L2);
  55. l29 = .l.vv(v7, v16, .c10, .L2);
  56. l30 = .l.vv(v7, v23, .c10, .L2);
  57. l31 = .l.vv(v7, v22, .c10, .L2);
  58. v19 = .vonl(l27, -0.167708, 0.277071, .green, .L2, "M~3");
  59. l32 = .l.vv(v6, v19, .green, .L2);
  60. l33 = .l.vv(v8, v19, .green, .L2);
  61. v20 = .v.ll(l32, l10, .green, .L2, .plus);
  62. v24 = .v.ll(l33, l6, .green, .L2, .plus);
  63. l34 = .l.vv(v19, v20, .green, .L2);
  64. l35 = .l.vv(v19, v24, .green, .L2);
  65. l36 = .l.vv(v9, v20, .green, .L2);
  66. l37 = .l.vv(v9, v24, .c10, .L2);
  67. v25 = .v.ll(l36, l28, .green, .L2, "M~1");
  68. l38 = .l.vv(v8, v25, .green, .L2);
  69. v26 = .v.ll(l38, l9, .green, .L2, .plus);
  70. l39 = .l.vv(v25, v26, .green, .L2);
  71. v27 = .v.ll(l26, l37, .c10, .L2, "M~2");
  72. l40 = .l.vv(v6, v26, .c10, .L2);
  73. v17 = .v.ll(l23, l24, .cyan, .L1, "M2");
  74. v28 = .v.ll(l21, l19, .cyan, .L1, "M0");
  75. v29 = .v.ll(l12, l11, .cyan, .L1, "M3");
  76. v32 = .v.ll(l17, l15, .cyan, .L1, "M1");
  77. l41 = .l.vv(v5, v28, .c14, .L1);
  78. l42 = .l.vv(v6, v32, .c14, .L1);
  79. l44 = .l.vv(v8, v17, .c14, .L1);
  80. l45 = .l.vv(v9, v29, .c14, .L1);
  81. v30 = .v.ll(l45, l44, .c14, .L1, .L4, "M");
  82. l43 = .l.vlpar(v10, l33, .red, .L3);
  83. l47 = .l.vlpar(v11, l27, .red, .L3);
  84. l48 = .l.vlpar(v12, l32, .red, .L3);
  85. v31 = .v.ll(l47, l48, .red, .L3, "O3");
  86. l50 = .l.vlpar(v13, l38, .red, .L3);
  87. l51 = .l.vlpar(v12, l36, .red, .L3);
  88. l52 = .l.vlpar(v14, l28, .red, .L3);
  89. v33 = .v.ll(l52, l51, .red, .L3, "O1");
  90. l53 = .l.vlpar(v15, l13, .c9, .L3);
  91. l54 = .l.vlpar(v11, l25, .c9, .L3);
  92. l55 = .l.vlpar(v14, l5, .c9, .L3);
  93. v34 = .v.ll(l55, l54, .c9, .L3, "O0");
  94. l56 = .l.vlpar(v13, l40, .c9, .L3);
  95. l57 = .l.vlpar(v10, l37, .c9, .L3);
  96. l60 = .l.vlpar(v15, l26, .c9, .L3);
  97. v35 = .v.ll(l56, l60, .c9, .L3, "O2");
  98. l20 = .l.vv(v6, v25, .c10, .L2);
  99. l46 = .l.vv(v8, v27, .c10, .L2);
  100. l49 = .l.vv(v9, v19, .c10, .L2);
  101. l58 = .l.vv(v5, v7, .c10, .L2);
  102. v38 = .v.ll(l58, l46, .c10, .L2, .L4, "M~");
  103. l59 = .l.vlperp(v5, l7, .invisible, .L0, .longline);
  104. l61 = .l.vlperp(v8, l6, .invisible, .L0, .longline);
  105. v39 = .v.ll(l59, l61, .magenta, .L0, .plus);
  106. l64 = .l.vlpar(v34, l58, .yellow, .L3);
  107. l66 = .l.vlpar(v35, l46, .yellow, .L3);
  108. l68 = .l.vlpar(v31, l49, .yellow, .L3);
  109. l69 = .l.vlpar(v33, l20, .yellow, .L3);
  110. v36 = .v.ll(l68, l69, .yellow, .L3, .L4, "O");
  111. l70 = .l.vv(v38, v36, .yellow, .L4);
  112.  
  113.